[INFO] cloning repository https://github.com/shnarazk/splr
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/shnarazk/splr" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fshnarazk%2Fsplr", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fshnarazk%2Fsplr'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 729e81e975219b28872dc8b604de223273eb0ca9
[INFO] checking shnarazk/splr against master#158f00a1c5175648af6f6099b075f78d1d014a28 for pr-121251
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fshnarazk%2Fsplr" "/workspace/builds/worker-1-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-1-tc1/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/shnarazk/splr on toolchain 158f00a1c5175648af6f6099b075f78d1d014a28
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+158f00a1c5175648af6f6099b075f78d1d014a28" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking git repo https://github.com/shnarazk/splr
[INFO] removed 0 missing examples
[INFO] finished tweaking git repo https://github.com/shnarazk/splr
[INFO] tweaked toml for git repo https://github.com/shnarazk/splr written to /workspace/builds/worker-1-tc1/source/Cargo.toml
[INFO] crate git repo https://github.com/shnarazk/splr already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+158f00a1c5175648af6f6099b075f78d1d014a28" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded bumpalo v3.14.0
[INFO] [stderr]   Downloaded log v0.4.20
[INFO] [stderr]   Downloaded instant v0.1.12
[INFO] [stderr]   Downloaded wasm-bindgen-shared v0.2.90
[INFO] [stderr]   Downloaded wasm-bindgen-macro v0.2.90
[INFO] [stderr]   Downloaded wasm-bindgen-backend v0.2.90
[INFO] [stderr]   Downloaded wasm-bindgen-macro-support v0.2.90
[INFO] [stderr]   Downloaded js-sys v0.3.67
[INFO] [stderr]   Downloaded wasm-bindgen v0.2.90
[INFO] [stderr]   Downloaded syn v2.0.48
[INFO] [stderr]   Downloaded web-sys v0.3.67
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+158f00a1c5175648af6f6099b075f78d1d014a28" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] c736519e51de5a49f284b704e6749040964d419908b2498bab5dbba44dfd52fb
[INFO] running `Command { std: "docker" "start" "-a" "c736519e51de5a49f284b704e6749040964d419908b2498bab5dbba44dfd52fb", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "c736519e51de5a49f284b704e6749040964d419908b2498bab5dbba44dfd52fb", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "c736519e51de5a49f284b704e6749040964d419908b2498bab5dbba44dfd52fb", kill_on_drop: false }`
[INFO] [stdout] c736519e51de5a49f284b704e6749040964d419908b2498bab5dbba44dfd52fb
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+158f00a1c5175648af6f6099b075f78d1d014a28" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] b8255cece740dd2a237d6ce081cc6bb47cc6945e257978dbd0f2ed4ff8d084f4
[INFO] running `Command { std: "docker" "start" "-a" "b8255cece740dd2a237d6ce081cc6bb47cc6945e257978dbd0f2ed4ff8d084f4", kill_on_drop: false }`
[INFO] [stderr]     Checking bitflags v2.4.2
[INFO] [stderr]     Checking splr v0.17.2 (/opt/rustwide/workdir)
[INFO] [stdout] warning: method `rebuild` is never used
[INFO] [stdout]   --> src/processor/heap.rs:13:8
[INFO] [stdout]    |
[INFO] [stdout] 7  | pub trait VarOrderIF {
[INFO] [stdout]    |           ---------- method in this trait
[INFO] [stdout] ...
[INFO] [stdout] 13 |     fn rebuild(&mut self, asg: &impl AssignIF, occur: &[LitOccurs]);
[INFO] [stdout]    |        ^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 1 warning emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `rebuild` is never used
[INFO] [stdout]   --> src/processor/heap.rs:13:8
[INFO] [stdout]    |
[INFO] [stdout] 7  | pub trait VarOrderIF {
[INFO] [stdout]    |           ---------- method in this trait
[INFO] [stdout] ...
[INFO] [stdout] 13 |     fn rebuild(&mut self, asg: &impl AssignIF, occur: &[LitOccurs]);
[INFO] [stdout]    |        ^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 1 warning emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 2.00s
[INFO] running `Command { std: "docker" "inspect" "b8255cece740dd2a237d6ce081cc6bb47cc6945e257978dbd0f2ed4ff8d084f4", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "b8255cece740dd2a237d6ce081cc6bb47cc6945e257978dbd0f2ed4ff8d084f4", kill_on_drop: false }`
[INFO] [stdout] b8255cece740dd2a237d6ce081cc6bb47cc6945e257978dbd0f2ed4ff8d084f4
[INFO] checking shnarazk/splr against try#b4fc5dbf0bc33be331f9d893db5b3a794f29724a+rustflags=-Dexplicit_range -Dtrait_impl_range -Wrange_syntax -Wrange_bounds for pr-121251
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fshnarazk%2Fsplr" "/workspace/builds/worker-1-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-1-tc2/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/shnarazk/splr on toolchain b4fc5dbf0bc33be331f9d893db5b3a794f29724a
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+b4fc5dbf0bc33be331f9d893db5b3a794f29724a" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking git repo https://github.com/shnarazk/splr
[INFO] removed 0 missing examples
[INFO] finished tweaking git repo https://github.com/shnarazk/splr
[INFO] tweaked toml for git repo https://github.com/shnarazk/splr written to /workspace/builds/worker-1-tc2/source/Cargo.toml
[INFO] crate git repo https://github.com/shnarazk/splr already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+b4fc5dbf0bc33be331f9d893db5b3a794f29724a" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+b4fc5dbf0bc33be331f9d893db5b3a794f29724a" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] ca2e06830d21d2d49060cbe56b80a65f9ef60b2b72a25ffdf2587beba6bf8cf8
[INFO] running `Command { std: "docker" "start" "-a" "ca2e06830d21d2d49060cbe56b80a65f9ef60b2b72a25ffdf2587beba6bf8cf8", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "ca2e06830d21d2d49060cbe56b80a65f9ef60b2b72a25ffdf2587beba6bf8cf8", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "ca2e06830d21d2d49060cbe56b80a65f9ef60b2b72a25ffdf2587beba6bf8cf8", kill_on_drop: false }`
[INFO] [stdout] ca2e06830d21d2d49060cbe56b80a65f9ef60b2b72a25ffdf2587beba6bf8cf8
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid -Dexplicit_range -Dtrait_impl_range -Wrange_syntax -Wrange_bounds" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+b4fc5dbf0bc33be331f9d893db5b3a794f29724a" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 52a63e0e10c942db9bacb649cda78bb89552f75931aca98482869d88888d3314
[INFO] running `Command { std: "docker" "start" "-a" "52a63e0e10c942db9bacb649cda78bb89552f75931aca98482869d88888d3314", kill_on_drop: false }`
[INFO] [stderr]     Checking bitflags v2.4.2
[INFO] [stderr]     Checking splr v0.17.2 (/opt/rustwide/workdir)
[INFO] [stdout] warning: usage of `RangeInclusive` range syntax
[INFO] [stdout]   --> src/assign/heap.rs:39:18
[INFO] [stdout]    |
[INFO] [stdout] 39 |         for i in 1..=n {
[INFO] [stdout]    |                  ^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: requested on the command line with `-W range-syntax`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> src/assign/heap.rs:178:18
[INFO] [stdout]     |
[INFO] [stdout] 178 |         for i in 0..self.idxs.len() {
[INFO] [stdout]     |                  ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> src/assign/heap.rs:242:40
[INFO] [stdout]     |
[INFO] [stdout] 242 |         let h = &mut self.heap.clone()[1..];
[INFO] [stdout]     |                                        ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> src/assign/heap.rs:243:40
[INFO] [stdout]     |
[INFO] [stdout] 243 |         let d = &mut self.idxs.clone()[1..];
[INFO] [stdout]     |                                        ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> src/assign/heap.rs:246:18
[INFO] [stdout]     |
[INFO] [stdout] 246 |         for i in 0..h.len() {
[INFO] [stdout]     |                  ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> src/assign/propagate.rs:224:18
[INFO] [stdout]     |
[INFO] [stdout] 224 |         for i in lim..self.trail.len() {
[INFO] [stdout]     |                  ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> src/assign/propagate.rs:309:18
[INFO] [stdout]     |
[INFO] [stdout] 309 |         for i in lim..self.trail.len() {
[INFO] [stdout]     |                  ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> src/assign/propagate.rs:773:23
[INFO] [stdout]     |
[INFO] [stdout] 773 |             for ci in 1..cdb.len() {
[INFO] [stdout]     |                       ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> src/assign/select.rs:138:19
[INFO] [stdout]     |
[INFO] [stdout] 138 |         for vi in 1..self.var.len() {
[INFO] [stdout]     |                   ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]   --> src/assign/stack.rs:97:21
[INFO] [stdout]    |
[INFO] [stdout] 97 |             level: (0..nv as u32 + 1).collect::<Vec<_>>(), // each literal occupies a single level.
[INFO] [stdout]    |                     ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeInclusive` range syntax
[INFO] [stdout]    --> src/assign/stack.rs:242:35
[INFO] [stdout]     |
[INFO] [stdout] 242 |             let reason_literals = target_index + 1..=last_lit_index;
[INFO] [stdout]     |                                   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> src/assign/stack.rs:297:24
[INFO] [stdout]     |
[INFO] [stdout] 297 |                 (0, &v[0..a])
[INFO] [stdout]     |                        ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> src/assign/stack.rs:301:29
[INFO] [stdout]     |
[INFO] [stdout] 301 |                 (levels, &v[a..])
[INFO] [stdout]     |                             ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> src/assign/stack.rs:305:24
[INFO] [stdout]     |
[INFO] [stdout] 305 |                 (x, &v[a..self.len_upto(x)])
[INFO] [stdout]     |                        ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeInclusive` range syntax
[INFO] [stdout]    --> src/assign/stack.rs:313:18
[INFO] [stdout]     |
[INFO] [stdout] 313 |                 (0..=levels).map(c).collect::<Vec<_>>(),
[INFO] [stdout]     |                  ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]   --> src/assign/trail_saving.rs:28:23
[INFO] [stdout]    |
[INFO] [stdout] 28 |             for i in (lim..lim2).rev() {
[INFO] [stdout]    |                       ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]   --> src/assign/trail_saving.rs:50:18
[INFO] [stdout]    |
[INFO] [stdout] 50 |         for i in free..self.trail.len() {
[INFO] [stdout]    |                  ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]   --> src/assign/trail_saving.rs:63:19
[INFO] [stdout]    |
[INFO] [stdout] 63 |         for i in (0..self.trail_saved.len()).rev() {
[INFO] [stdout]    |                   ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> src/assign/trail_saving.rs:126:18
[INFO] [stdout]     |
[INFO] [stdout] 126 |         for j in 0..self.trail_saved.len() {
[INFO] [stdout]     |                  ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]   --> src/cdb/binary.rs:97:18
[INFO] [stdout]    |
[INFO] [stdout] 97 |         for _ in 0..2 {
[INFO] [stdout]    |                  ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> src/cdb/db.rs:169:18
[INFO] [stdout]     |
[INFO] [stdout] 169 |         for _ in 0..2 * (nv + 1) {
[INFO] [stdout]     |                  ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]     --> src/cdb/db.rs:1090:23
[INFO] [stdout]      |
[INFO] [stdout] 1090 |         for l in &vec[1..] {
[INFO] [stdout]      |                       ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]     --> src/cdb/db.rs:1202:19
[INFO] [stdout]      |
[INFO] [stdout] 1202 |         for vi in 1..nv {
[INFO] [stdout]      |                   ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeInclusive` range syntax
[INFO] [stdout]   --> src/cdb/sls.rs:30:21
[INFO] [stdout]    |
[INFO] [stdout] 30 |         for step in 1..=limit {
[INFO] [stdout]    |                     ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> src/cdb/unsat_certificate.rs:115:26
[INFO] [stdout]     |
[INFO] [stdout] 115 |                 for _ in 0..(l.unsigned_abs() as usize) {
[INFO] [stdout]     |                          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> src/cdb/vivify.rs:245:28
[INFO] [stdout]     |
[INFO] [stdout] 245 |         let assumes = &all[from..];
[INFO] [stdout]     |                            ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> src/config.rs:155:41
[INFO] [stdout]     |
[INFO] [stdout] 155 |                         let name = &arg[2..];
[INFO] [stdout]     |                                         ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeInclusive` range syntax
[INFO] [stdout]   --> src/processor/heap.rs:28:18
[INFO] [stdout]    |
[INFO] [stdout] 28 |         for _ in 0..=n {
[INFO] [stdout]    |                  ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeInclusive` range syntax
[INFO] [stdout]   --> src/processor/heap.rs:70:18
[INFO] [stdout]    |
[INFO] [stdout] 70 |         for i in 1..=n {
[INFO] [stdout]    |                  ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> src/processor/heap.rs:101:33
[INFO] [stdout]     |
[INFO] [stdout] 101 |         for v in &mut self.heap[0..self.idxs[0] as usize] {
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> src/processor/heap.rs:138:18
[INFO] [stdout]     |
[INFO] [stdout] 138 |         for i in 0..self.idxs.len() {
[INFO] [stdout]     |                  ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> src/processor/simplify.rs:229:28
[INFO] [stdout]     |
[INFO] [stdout] 229 |         for w in &mut self[1..] {
[INFO] [stdout]     |                            ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeInclusive` range syntax
[INFO] [stdout]    --> src/processor/simplify.rs:241:23
[INFO] [stdout]     |
[INFO] [stdout] 241 |             for vi in 1..=asg.derefer(assign::property::Tusize::NumVar) {
[INFO] [stdout]     |                       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> src/processor/simplify.rs:308:29
[INFO] [stdout]     |
[INFO] [stdout] 308 |         self.var_queue.heap[1..].iter()
[INFO] [stdout]     |                             ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> src/processor/simplify.rs:407:32
[INFO] [stdout]     |
[INFO] [stdout] 407 |             for w in &mut self[1..] {
[INFO] [stdout]     |                                ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> src/solver/build.rs:290:18
[INFO] [stdout]     |
[INFO] [stdout] 290 |         for i in 0..lits.len() {
[INFO] [stdout]     |                  ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> src/solver/conflict.rs:468:26
[INFO] [stdout]     |
[INFO] [stdout] 468 |     for l in &new_learnt[1..] {
[INFO] [stdout]     |                          ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> src/solver/conflict.rs:531:45
[INFO] [stdout]     |
[INFO] [stdout] 531 | ...                   for l in &clear[top..] {
[INFO] [stdout]     |                                       ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> src/solver/conflict.rs:541:36
[INFO] [stdout]     |
[INFO] [stdout] 541 |                     for q in &(*c)[1..] {
[INFO] [stdout]     |                                    ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> src/solver/conflict.rs:556:49
[INFO] [stdout]     |
[INFO] [stdout] 556 | ...                   for l in &clear[top..] {
[INFO] [stdout]     |                                       ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeInclusive` range syntax
[INFO] [stdout]    --> src/solver/search.rs:103:27
[INFO] [stdout]     |
[INFO] [stdout] 103 |                 for vi in 1..=asg.num_vars {
[INFO] [stdout]     |                           ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeInclusive` range syntax
[INFO] [stdout]    --> src/solver/search.rs:147:31
[INFO] [stdout]     |
[INFO] [stdout] 147 |                     for vi in 1..=asg.num_vars {
[INFO] [stdout]     |                               ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> src/solver/search.rs:160:31
[INFO] [stdout]     |
[INFO] [stdout] 160 |                     for vi in 1..asg.num_vars {
[INFO] [stdout]     |                               ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> src/state.rs:394:23
[INFO] [stdout]     |
[INFO] [stdout] 394 |             for _i in 0..PROGRESS_REPORT_ROWS - 1 {
[INFO] [stdout]     |                       ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeInclusive` range syntax
[INFO] [stdout]   --> src/assign/heap.rs:39:18
[INFO] [stdout]    |
[INFO] [stdout] 39 |         for i in 1..=n {
[INFO] [stdout]    |                  ^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: requested on the command line with `-W range-syntax`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> src/assign/heap.rs:178:18
[INFO] [stdout]     |
[INFO] [stdout] 178 |         for i in 0..self.idxs.len() {
[INFO] [stdout]     |                  ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> src/assign/heap.rs:242:40
[INFO] [stdout]     |
[INFO] [stdout] 242 |         let h = &mut self.heap.clone()[1..];
[INFO] [stdout]     |                                        ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> src/assign/heap.rs:243:40
[INFO] [stdout]     |
[INFO] [stdout] 243 |         let d = &mut self.idxs.clone()[1..];
[INFO] [stdout]     |                                        ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> src/assign/heap.rs:246:18
[INFO] [stdout]     |
[INFO] [stdout] 246 |         for i in 0..h.len() {
[INFO] [stdout]     |                  ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> src/assign/propagate.rs:224:18
[INFO] [stdout]     |
[INFO] [stdout] 224 |         for i in lim..self.trail.len() {
[INFO] [stdout]     |                  ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> src/assign/propagate.rs:309:18
[INFO] [stdout]     |
[INFO] [stdout] 309 |         for i in lim..self.trail.len() {
[INFO] [stdout]     |                  ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> src/assign/propagate.rs:773:23
[INFO] [stdout]     |
[INFO] [stdout] 773 |             for ci in 1..cdb.len() {
[INFO] [stdout]     |                       ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> src/assign/select.rs:138:19
[INFO] [stdout]     |
[INFO] [stdout] 138 |         for vi in 1..self.var.len() {
[INFO] [stdout]     |                   ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]   --> src/assign/stack.rs:97:21
[INFO] [stdout]    |
[INFO] [stdout] 97 |             level: (0..nv as u32 + 1).collect::<Vec<_>>(), // each literal occupies a single level.
[INFO] [stdout]    |                     ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeInclusive` range syntax
[INFO] [stdout]    --> src/assign/stack.rs:242:35
[INFO] [stdout]     |
[INFO] [stdout] 242 |             let reason_literals = target_index + 1..=last_lit_index;
[INFO] [stdout]     |                                   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> src/assign/stack.rs:297:24
[INFO] [stdout]     |
[INFO] [stdout] 297 |                 (0, &v[0..a])
[INFO] [stdout]     |                        ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> src/assign/stack.rs:301:29
[INFO] [stdout]     |
[INFO] [stdout] 301 |                 (levels, &v[a..])
[INFO] [stdout]     |                             ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> src/assign/stack.rs:305:24
[INFO] [stdout]     |
[INFO] [stdout] 305 |                 (x, &v[a..self.len_upto(x)])
[INFO] [stdout]     |                        ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeInclusive` range syntax
[INFO] [stdout]    --> src/assign/stack.rs:313:18
[INFO] [stdout]     |
[INFO] [stdout] 313 |                 (0..=levels).map(c).collect::<Vec<_>>(),
[INFO] [stdout]     |                  ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]   --> src/assign/trail_saving.rs:28:23
[INFO] [stdout]    |
[INFO] [stdout] 28 |             for i in (lim..lim2).rev() {
[INFO] [stdout]    |                       ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]   --> src/assign/trail_saving.rs:50:18
[INFO] [stdout]    |
[INFO] [stdout] 50 |         for i in free..self.trail.len() {
[INFO] [stdout]    |                  ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]   --> src/assign/trail_saving.rs:63:19
[INFO] [stdout]    |
[INFO] [stdout] 63 |         for i in (0..self.trail_saved.len()).rev() {
[INFO] [stdout]    |                   ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> src/assign/trail_saving.rs:126:18
[INFO] [stdout]     |
[INFO] [stdout] 126 |         for j in 0..self.trail_saved.len() {
[INFO] [stdout]     |                  ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]   --> src/cdb/binary.rs:97:18
[INFO] [stdout]    |
[INFO] [stdout] 97 |         for _ in 0..2 {
[INFO] [stdout]    |                  ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> src/cdb/db.rs:169:18
[INFO] [stdout]     |
[INFO] [stdout] 169 |         for _ in 0..2 * (nv + 1) {
[INFO] [stdout]     |                  ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]     --> src/cdb/db.rs:1090:23
[INFO] [stdout]      |
[INFO] [stdout] 1090 |         for l in &vec[1..] {
[INFO] [stdout]      |                       ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]     --> src/cdb/db.rs:1202:19
[INFO] [stdout]      |
[INFO] [stdout] 1202 |         for vi in 1..nv {
[INFO] [stdout]      |                   ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeInclusive` range syntax
[INFO] [stdout]   --> src/cdb/sls.rs:30:21
[INFO] [stdout]    |
[INFO] [stdout] 30 |         for step in 1..=limit {
[INFO] [stdout]    |                     ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> src/cdb/unsat_certificate.rs:115:26
[INFO] [stdout]     |
[INFO] [stdout] 115 |                 for _ in 0..(l.unsigned_abs() as usize) {
[INFO] [stdout]     |                          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> src/cdb/vivify.rs:245:28
[INFO] [stdout]     |
[INFO] [stdout] 245 |         let assumes = &all[from..];
[INFO] [stdout]     |                            ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> src/cdb/mod.rs:423:24
[INFO] [stdout]     |
[INFO] [stdout] 423 |         assert!(c.lits[0..2]
[INFO] [stdout]     |                        ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> src/cdb/mod.rs:500:28
[INFO] [stdout]     |
[INFO] [stdout] 500 |         assert_eq!(cdb[c1][0..].iter().map(|l| i32::from(*l)).sum::<i32>(), 6);
[INFO] [stdout]     |                            ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> src/cdb/mod.rs:501:32
[INFO] [stdout]     |
[INFO] [stdout] 501 |         let mut iter = cdb[c1][0..].iter();
[INFO] [stdout]     |                                ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> src/config.rs:155:41
[INFO] [stdout]     |
[INFO] [stdout] 155 |                         let name = &arg[2..];
[INFO] [stdout]     |                                         ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeInclusive` range syntax
[INFO] [stdout]   --> src/processor/heap.rs:28:18
[INFO] [stdout]    |
[INFO] [stdout] 28 |         for _ in 0..=n {
[INFO] [stdout]    |                  ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeInclusive` range syntax
[INFO] [stdout]   --> src/processor/heap.rs:70:18
[INFO] [stdout]    |
[INFO] [stdout] 70 |         for i in 1..=n {
[INFO] [stdout]    |                  ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> src/processor/heap.rs:101:33
[INFO] [stdout]     |
[INFO] [stdout] 101 |         for v in &mut self.heap[0..self.idxs[0] as usize] {
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> src/processor/heap.rs:138:18
[INFO] [stdout]     |
[INFO] [stdout] 138 |         for i in 0..self.idxs.len() {
[INFO] [stdout]     |                  ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> src/processor/simplify.rs:229:28
[INFO] [stdout]     |
[INFO] [stdout] 229 |         for w in &mut self[1..] {
[INFO] [stdout]     |                            ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeInclusive` range syntax
[INFO] [stdout]    --> src/processor/simplify.rs:241:23
[INFO] [stdout]     |
[INFO] [stdout] 241 |             for vi in 1..=asg.derefer(assign::property::Tusize::NumVar) {
[INFO] [stdout]     |                       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> src/processor/simplify.rs:308:29
[INFO] [stdout]     |
[INFO] [stdout] 308 |         self.var_queue.heap[1..].iter()
[INFO] [stdout]     |                             ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> src/processor/simplify.rs:407:32
[INFO] [stdout]     |
[INFO] [stdout] 407 |             for w in &mut self[1..] {
[INFO] [stdout]     |                                ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> src/solver/build.rs:290:18
[INFO] [stdout]     |
[INFO] [stdout] 290 |         for i in 0..lits.len() {
[INFO] [stdout]     |                  ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> src/solver/conflict.rs:468:26
[INFO] [stdout]     |
[INFO] [stdout] 468 |     for l in &new_learnt[1..] {
[INFO] [stdout]     |                          ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> src/solver/conflict.rs:531:45
[INFO] [stdout]     |
[INFO] [stdout] 531 | ...                   for l in &clear[top..] {
[INFO] [stdout]     |                                       ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> src/solver/conflict.rs:541:36
[INFO] [stdout]     |
[INFO] [stdout] 541 |                     for q in &(*c)[1..] {
[INFO] [stdout]     |                                    ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeFrom` range syntax
[INFO] [stdout]    --> src/solver/conflict.rs:556:49
[INFO] [stdout]     |
[INFO] [stdout] 556 | ...                   for l in &clear[top..] {
[INFO] [stdout]     |                                       ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeInclusive` range syntax
[INFO] [stdout]    --> src/solver/search.rs:103:27
[INFO] [stdout]     |
[INFO] [stdout] 103 |                 for vi in 1..=asg.num_vars {
[INFO] [stdout]     |                           ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `RangeInclusive` range syntax
[INFO] [stdout]    --> src/solver/search.rs:147:31
[INFO] [stdout]     |
[INFO] [stdout] 147 |                     for vi in 1..=asg.num_vars {
[INFO] [stdout]     |                               ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> src/solver/search.rs:160:31
[INFO] [stdout]     |
[INFO] [stdout] 160 |                     for vi in 1..asg.num_vars {
[INFO] [stdout]     |                               ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: usage of `Range` range syntax
[INFO] [stdout]    --> src/state.rs:394:23
[INFO] [stdout]     |
[INFO] [stdout] 394 |             for _i in 0..PROGRESS_REPORT_ROWS - 1 {
[INFO] [stdout]     |                       ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `rebuild` is never used
[INFO] [stdout]   --> src/processor/heap.rs:13:8
[INFO] [stdout]    |
[INFO] [stdout] 7  | pub trait VarOrderIF {
[INFO] [stdout]    |           ---------- method in this trait
[INFO] [stdout] ...
[INFO] [stdout] 13 |     fn rebuild(&mut self, asg: &impl AssignIF, occur: &[LitOccurs]);
[INFO] [stdout]    |        ^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: explicit usage of `Range` type in public function
[INFO] [stdout]    --> src/assign/stack.rs:173:30
[INFO] [stdout]     |
[INFO] [stdout] 173 |     fn stack_range(&self, r: Range<usize>) -> &[Lit] {
[INFO] [stdout]     |                              ^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: requested on the command line with `-D explicit-range`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: public trait impl involving `Range` type
[INFO] [stdout]   --> src/cdb/clause.rs:58:12
[INFO] [stdout]    |
[INFO] [stdout] 58 | impl Index<Range<usize>> for Clause {
[INFO] [stdout]    |            ^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: requested on the command line with `-D trait-impl-range`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: explicit usage of `Range` type in public function
[INFO] [stdout]   --> src/cdb/clause.rs:61:24
[INFO] [stdout]    |
[INFO] [stdout] 61 |     fn index(&self, r: Range<usize>) -> &[Lit] {
[INFO] [stdout]    |                        ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: public trait impl involving `RangeFrom` type
[INFO] [stdout]   --> src/cdb/clause.rs:71:12
[INFO] [stdout]    |
[INFO] [stdout] 71 | impl Index<RangeFrom<usize>> for Clause {
[INFO] [stdout]    |            ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: explicit usage of `RangeFrom` type in public function
[INFO] [stdout]   --> src/cdb/clause.rs:74:24
[INFO] [stdout]    |
[INFO] [stdout] 74 |     fn index(&self, r: RangeFrom<usize>) -> &[Lit] {
[INFO] [stdout]    |                        ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: public trait impl involving `Range` type
[INFO] [stdout]   --> src/cdb/clause.rs:84:15
[INFO] [stdout]    |
[INFO] [stdout] 84 | impl IndexMut<Range<usize>> for Clause {
[INFO] [stdout]    |               ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: explicit usage of `Range` type in public function
[INFO] [stdout]   --> src/cdb/clause.rs:86:32
[INFO] [stdout]    |
[INFO] [stdout] 86 |     fn index_mut(&mut self, r: Range<usize>) -> &mut [Lit] {
[INFO] [stdout]    |                                ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: public trait impl involving `RangeFrom` type
[INFO] [stdout]   --> src/cdb/clause.rs:96:15
[INFO] [stdout]    |
[INFO] [stdout] 96 | impl IndexMut<RangeFrom<usize>> for Clause {
[INFO] [stdout]    |               ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: explicit usage of `RangeFrom` type in public function
[INFO] [stdout]   --> src/cdb/clause.rs:98:32
[INFO] [stdout]    |
[INFO] [stdout] 98 |     fn index_mut(&mut self, r: RangeFrom<usize>) -> &mut [Lit] {
[INFO] [stdout]    |                                ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: public trait impl involving `Range` type
[INFO] [stdout]    --> src/cdb/db.rs:112:12
[INFO] [stdout]     |
[INFO] [stdout] 112 | impl Index<Range<usize>> for ClauseDB {
[INFO] [stdout]     |            ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: explicit usage of `Range` type in public function
[INFO] [stdout]    --> src/cdb/db.rs:115:24
[INFO] [stdout]     |
[INFO] [stdout] 115 |     fn index(&self, r: Range<usize>) -> &[Clause] {
[INFO] [stdout]     |                        ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: public trait impl involving `RangeFrom` type
[INFO] [stdout]    --> src/cdb/db.rs:125:12
[INFO] [stdout]     |
[INFO] [stdout] 125 | impl Index<RangeFrom<usize>> for ClauseDB {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: explicit usage of `RangeFrom` type in public function
[INFO] [stdout]    --> src/cdb/db.rs:128:24
[INFO] [stdout]     |
[INFO] [stdout] 128 |     fn index(&self, r: RangeFrom<usize>) -> &[Clause] {
[INFO] [stdout]     |                        ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: public trait impl involving `Range` type
[INFO] [stdout]    --> src/cdb/db.rs:138:15
[INFO] [stdout]     |
[INFO] [stdout] 138 | impl IndexMut<Range<usize>> for ClauseDB {
[INFO] [stdout]     |               ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: explicit usage of `Range` type in public function
[INFO] [stdout]    --> src/cdb/db.rs:140:32
[INFO] [stdout]     |
[INFO] [stdout] 140 |     fn index_mut(&mut self, r: Range<usize>) -> &mut [Clause] {
[INFO] [stdout]     |                                ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: public trait impl involving `RangeFrom` type
[INFO] [stdout]    --> src/cdb/db.rs:150:15
[INFO] [stdout]     |
[INFO] [stdout] 150 | impl IndexMut<RangeFrom<usize>> for ClauseDB {
[INFO] [stdout]     |               ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: explicit usage of `RangeFrom` type in public function
[INFO] [stdout]    --> src/cdb/db.rs:152:32
[INFO] [stdout]     |
[INFO] [stdout] 152 |     fn index_mut(&mut self, r: RangeFrom<usize>) -> &mut [Clause] {
[INFO] [stdout]     |                                ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: public trait impl involving `Range` type
[INFO] [stdout]    --> src/processor/simplify.rs:138:12
[INFO] [stdout]     |
[INFO] [stdout] 138 | impl Index<Range<usize>> for Eliminator {
[INFO] [stdout]     |            ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: explicit usage of `Range` type in public function
[INFO] [stdout]    --> src/processor/simplify.rs:141:24
[INFO] [stdout]     |
[INFO] [stdout] 141 |     fn index(&self, r: Range<usize>) -> &Self::Output {
[INFO] [stdout]     |                        ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: public trait impl involving `RangeFrom` type
[INFO] [stdout]    --> src/processor/simplify.rs:151:12
[INFO] [stdout]     |
[INFO] [stdout] 151 | impl Index<RangeFrom<usize>> for Eliminator {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: explicit usage of `RangeFrom` type in public function
[INFO] [stdout]    --> src/processor/simplify.rs:154:24
[INFO] [stdout]     |
[INFO] [stdout] 154 |     fn index(&self, r: RangeFrom<usize>) -> &Self::Output {
[INFO] [stdout]     |                        ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: public trait impl involving `Range` type
[INFO] [stdout]    --> src/processor/simplify.rs:164:15
[INFO] [stdout]     |
[INFO] [stdout] 164 | impl IndexMut<Range<usize>> for Eliminator {
[INFO] [stdout]     |               ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: explicit usage of `Range` type in public function
[INFO] [stdout]    --> src/processor/simplify.rs:166:32
[INFO] [stdout]     |
[INFO] [stdout] 166 |     fn index_mut(&mut self, r: Range<usize>) -> &mut Self::Output {
[INFO] [stdout]     |                                ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: public trait impl involving `RangeFrom` type
[INFO] [stdout]    --> src/processor/simplify.rs:176:15
[INFO] [stdout]     |
[INFO] [stdout] 176 | impl IndexMut<RangeFrom<usize>> for Eliminator {
[INFO] [stdout]     |               ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: explicit usage of `RangeFrom` type in public function
[INFO] [stdout]    --> src/processor/simplify.rs:178:32
[INFO] [stdout]     |
[INFO] [stdout] 178 |     fn index_mut(&mut self, r: RangeFrom<usize>) -> &mut Self::Output {
[INFO] [stdout]     |                                ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 25 previous errors; 45 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `splr` (lib) due to 26 previous errors; 45 warnings emitted
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stdout] warning: method `rebuild` is never used
[INFO] [stdout]   --> src/processor/heap.rs:13:8
[INFO] [stdout]    |
[INFO] [stdout] 7  | pub trait VarOrderIF {
[INFO] [stdout]    |           ---------- method in this trait
[INFO] [stdout] ...
[INFO] [stdout] 13 |     fn rebuild(&mut self, asg: &impl AssignIF, occur: &[LitOccurs]);
[INFO] [stdout]    |        ^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 48 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "52a63e0e10c942db9bacb649cda78bb89552f75931aca98482869d88888d3314", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "52a63e0e10c942db9bacb649cda78bb89552f75931aca98482869d88888d3314", kill_on_drop: false }`
[INFO] [stdout] 52a63e0e10c942db9bacb649cda78bb89552f75931aca98482869d88888d3314
